例句與造句

1. 4 . interval temporal logic ( itl ) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of kleene star
   間斷式時(shí)序邏輯( itl )是時(shí)序邏輯的一種，它包含一個(gè)由兩個(gè)公式的連續(xù)成分所構(gòu)成的基本結(jié)構(gòu)和一個(gè)kleene星的類似體。
2. It's difficult to find sequential composition in a sentence. 用sequential composition造句挺難的